Composition of functions with accumulating parameters
نویسندگان
چکیده
Many functional programs with accumulating parameters are contained in the class of macro tree transducers. We present a program transformation technique that can be used to solve the efficiency problems due to creation and consumption of intermediate data structures in compositions of such functions, where classical deforestation techniques fail. In order to do so, given two macro tree transducers under appropriate restrictions, we construct a single macro tree transducer that implements the composition of the two original ones. The imposed restrictions are more liberal than those in the literature on macro tree transducer composition, thus generalising previous results.
منابع مشابه
On Deforesting Parameters of Accumulating Maps
Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is the inability to deforest programs using accumulating parameters. We show how intermediate lists built by a selected class of functional programs, namely ‘accumulating maps’, can be deforested using a single composition rule. Fo...
متن کاملDeforesting in Accumulating Parameters via Type-Directed Transformations
Classical deforestation methods fail to compose functions with accumulating parameters, which are function arguments to which intermediate result accumulates. This paper proposes a new deforestation method which solves this problem. The method is comprised of a few transformation steps, each of which is guided by type information. Though our solution draws its fundamental idea from a deforestat...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملCountable composition closedness and integer-valued continuous functions in pointfree topology
For any archimedean$f$-ring $A$ with unit in whichbreak$awedge (1-a)leq 0$ for all $ain A$, the following are shown to be equivalent: 1. $A$ is isomorphic to the $l$-ring ${mathfrak Z}L$ of all integer-valued continuous functions on some frame $L$. 2. $A$ is a homomorphic image of the $l$-ring $C_{Bbb Z}(X)$ of all integer-valued continuous functions, in the usual se...
متن کاملProof appendix: Composition of functions with accumulating parameters
In this appendix to the article “Composition of functions with accumulating parameters” we prove Theorem 5.2 of that paper, showing that Construction 5.1 produces an mtt that is equivalent to the composition of the two given ones. Firstly, we will formalise the idea of “walking upwards” in the intermediate result to obtain the context parameters of calls of the second mtt’s states on the contex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Funct. Program.
دوره 14 شماره
صفحات -
تاریخ انتشار 2004